Use arch-tag: syntax that tla can grok
authorMiles Bader <miles@gnu.org>
Tue, 30 Dec 2003 14:53:35 +0000 (14:53 +0000)
committerMiles Bader <miles@gnu.org>
Tue, 30 Dec 2003 14:53:35 +0000 (14:53 +0000)
commit08303765f030fc365515c6f192d9b89ccbf80e5b
treed196bb1fbbd4c7904dc27babe4058c6a9d13818f
parenta5bded81dbcc1c49232966e2deca36bec4d1be7a
Use arch-tag: syntax that tla can grok
lispintro/texinfo.tex